Solution d'un problème de K. Zarankiewicz sur les suites de puissances consécutives de nombres irrationnels

Etat actuel de nos connaissances sur les argasidés de l'Iran

Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres

La mise en œuvre effective de méthodes de vérification de programmes comportant des calculs sur les nombres à virgule flottante reste encore problématique. Cela est en partie dû aux difficultés inhérentes à l’arithmétique des nombres à virgule flottante dont la pauvreté des propriétés rend souvent impossible la transposition de résultats établis sur les réels. C’est pourquoi nous présentons dan...

Un nouvel algorithme de consistance locale sur les nombres flottants

Solving constraints over floating-point numbers is a critical issue in numerous applications notably in program verification. Capabilities of filtering algorithms over the floating-point numbers have been so far limited to 2b-consistency and its derivatives. Though safe, such filtering techniques suffer from the well known pathological problems of local consistencies, e.g., inability to efficie...

Étude constructive de problèmes de topologie pour les réels irrationnels

We study in a constructive manner some problems of topology related to the set Irr of irrational reals. The constructive approach requires a strong notion of an irrational number ; constructively, a real number is irrational if it is clearly different from any rational number. We show that the set Irr is one-to-one with the set Dfc of infinite developments in continued fraction (dfc). We define...

Action de diverses preparations denommees (vitamin b1) sur les cultures de Leishmania tropica